منابع مشابه
Is egocentric space automatically encoded?
Using the criteria defined by Hasher and Zacks [Hasher, L., & Zacks, R. T. (1979). Automatic and effortful processes in memory. Journal of Experimental Psychology: General, 108(3), 356-388], three studies examined the effects of intent of memorization, dual task interference, old age, practice and individual differences on memory for egocentric positions. Results showed that dual task interfere...
متن کاملAutomatically Inferring Temporal Properties
3. PROBLEM STATAMENT Temporal properties specify constraints on the order in which a program’s state changes. Satisfying certain temporal properties is essential for a program to be correct. Many formal verification tools have been developed to check certain temporal properties. Researchers have demonstrated the practical value of these tools in some domains (e.g. verifying the safety of device...
متن کاملAutomatically Discovering Temporal Properties for Program Verification
This paper reports on our experience using a dynamic analysis tool, Terracotta, to automatically infer temporal properties, and a model checker, Java PathFinder, to check the inferred properties. To our best knowledge, this is the first experiment using a model checker to check automatically inferred properties. We introduce two key ideas to make our approach effective. First, we develop techni...
متن کاملInformation recovery from rank-order encoded images
The work described in this paper is inspired by SpikeNET, a system developed to test the feasibility of using rank-order codes in modelling largescale networks of asynchronously spiking neurons. The rank-order code theory proposed by Thorpe concerns the encoding of information by a population of spiking neurons in the primate visual system. The theory proposes using the order of firing across a...
متن کاملTemporal order judgments activate temporal parietal junction.
Perceptual temporal order judgments require an individual to determine the relative timing of two spatially separate events. Here we reveal the brain regions involved with this task. We had participants observe perceptually identical visual stimuli while conducting two different tasks: discriminating temporal order or discriminating spatial properties. By contrasting the functional magnetic res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memory & Cognition
سال: 1984
ISSN: 0090-502X,1532-5946
DOI: 10.3758/bf03198299